package filesystem;

public interface FileSystem
{
  // File services
  public String getFileName(File f);
  public short[] getFileTags(File f);
  
  // Tag services
  public String getTagName(Tag t);
  
  // Tagging services
  public void addTag(File f, Tag t);
  public void removeTag(File f, Tag t);
  public void removeAllTags(File f, Tag t);
  
  // Tags
  public Tag newTag(String name);
}
